verification technique造句
例句與造句
- study of the on-line signature verification techniques based on multiplex features
基于混合特征的在線簽名認證研究 - model checking is one of the formal verification techniques to verify the correctness of system, and it is also one of the most successful automatic verification techniques in recent 20 years
模型檢測是近二十幾年來最成功的自動檢驗技術之一,它是關于系統(tǒng)屬性驗證的算法和方法。 - model checking is one of the formal verification techniques to verify the correctness of system, and it is also one of the most successful automatic verification techniques in recent 20 years
模型檢測是近二十幾年來最成功的自動檢驗技術之一,它是關于系統(tǒng)屬性驗證的算法和方法。 - this article will outline translation verification techniques and classic errors, and will provide a tool that you can download to help your translation testers work more efficiently and effectively
本文將概述翻譯驗證技術和經(jīng)典錯誤，并提供了一個工具，您可以下載它來幫助您的翻譯測試員更有效率、更有成效地工作。 - model-checking is one of the most successful automatic verification techniques in the past two decades . it has been used in the analysis and verification of finite-state systems such as sequential circuit designs and communication protocols
模型檢測技術是近二十年來最成功的自動驗證技術之一，目前被廣泛的應用于有窮狀態(tài)系統(tǒng)(包括電路設計和通訊協(xié)議等)的分析與驗證。 - It's difficult to find verification technique in a sentence. 用verification technique造句挺難的
- a verification technique, which obtains unbiased estimator for the means and variance of several global and local features is presented and a matching way after acquiring the threshold by probability density function is achieved
摘要論述了在獲得在線手寫簽名的曲線的一些局部和全局特征的平均值和方差的無偏估計的基礎上，通過概率密度函數(shù)進而獲取閾值進行匹配的鑒別方法。 - the method of model checking is a formal verification technique using the method of state-space search to verify if the behaviors of a given system ( the model ) satisfy a certain property that represented by temporal logic formulas, while the system presented as a kripke structure
它通常采用狀態(tài)空間搜索的方法來檢測一個給定的計算模型是否滿足某個用時序邏輯公式表示的特定屬性。它是一個自動檢驗有限狀態(tài)并發(fā)系統(tǒng)的技術。 - on the other side, based on research on noncircular surface grinding features, this deissertation designs the data structure of simulation driver, then, applies interpolation theory to design the grinding motion simulation module and researches all sorts of cases on constructing the solid swept of grinding wheels in the process of noncircular surfaces grinding, finally, designs nc codes verification simulation module by using design model-based verification technique
在實體仿真技術方面,詳細研究了非圓曲面磨削加工的特征并設計了對應的仿真驅(qū)動數(shù)據(jù)結構;應用插補原理設計了體現(xiàn)加工速度的運動過程仿真模塊;詳細研究了非圓曲面磨削加工中砂輪的相對和絕對運動掃掠實體的構造,并采用基于精確實體設計模型的驗證方法構建了數(shù)控代碼的仿真驗證模塊。 - as vlsi design becomes larger and takes up much longer time, verification and debugging of logic design become the dominating part of total design period . in order to reduce the time for obtaining a valid design, many verification techniques have been studied . fpga is relatively useful in such case due to its rapid implementation
隨著現(xiàn)代vlsi設計規(guī)模迅速擴大、芯片的設計和實現(xiàn)周期變長，驗證和調(diào)試在asic設計中占有越來越重要的地位，相應的在整個asic設計流程中，驗證和調(diào)試將占用更多的時間。